All (Cautiously) Hail-and Scale-Community!

All hail reproducibility in microbiome research

At its core, microbiome research relies on complex and sophisticated statistical analyses of large datasets and their associated metadata (e.g., experimental parameters, sample characteristics). Heavy reliance on big data has presented new challenges in communicating the details of complex analyses in a manner sufficient for others to replicate analytical workflows. Reproducibility is a pillar ...

Cut Might Cautiously

This note is on cautious cut elimination for one of Veltman's might logics. Syntactically, the logic is presented as an extension of a sequent system for classical propositional logic (hence: cpl). I show that this extension preserves the completeness and decidability of cpl. The proof has cautious cut elimination as a corollary. I also give a rather general syntactic proof of cautious cut elim...

Hail suppression and society.

An interdisciplinary assessment of hail suppression in the past, present, and future has shown it to be currently scientifically uncertain but a potentially beneficial future technology. An established suppression technology would be widely adopted in the Great Plains, providing benefits to agriculture and secondarily to the American consumer. Development of a reliable technology will require a...

Hail and Farewell

Cautiously Approaching SWRL

The Semantic Web Rules Language (SWRL) has recently been proposed as the basic rules language for the Semantic Web. SWRL is unusual in being an undecidable superset of a very expressive description logic OWL DL (SHOIN (D)) and a simple rules language, Datalog. In this paper, we attempt to evolve OWL DL toward SWRL, but cautiously and carefully. We strive to retain practical decidability. We see...